201. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
202. Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
پدیدآورنده : John Lloyd...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1861
203. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
204. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
205. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
206. Computational logic in multi-agent systems
پدیدآورنده : Jürgen Dix ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Intelligent agents (Computer software), Congresses.
207. Computational logic in multi-agent systems :
پدیدآورنده : João Leite [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
208. Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
پدیدآورنده : Juergen Dix, Joao Leite )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3259
209. Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers
پدیدآورنده : Joao Leite, Paolo Torroni )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3487
210. Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
پدیدآورنده : Francesca Toni, Paolo Torroni )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
L28
Vol
.
3900
211. Computational logic in multi-agent systems: 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004: revised selected and invited papers
پدیدآورنده : Joao Leite, Paolo Torroni )eds.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
9
.
L63
C656
2004b
212. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
213. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
214. Computational science and its applications-- ICCSA 2013 :
پدیدآورنده : Beniamino Murgante ... [and seven others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
215. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
216. Computer Science Logic
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگرهها
رده :
E-Book
,
217. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
218. Computer and communication engineering :
پدیدآورنده : Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
رده :
TK7885
.
A1
219. Computer-assisted organic synthesis :
پدیدآورنده : W. Todd Wipke, editor, W. Jeffrey Howe, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Organic compounds-- Synthesis-- Data processing, Congresses.
رده :
QD262
.
C54
220. Computer-based medical guidelines and protocols :
پدیدآورنده : edited by Annette ten Teije, Silvia Miksch and Peter Lucas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making-- Data processing, Congresses.,Medicine-- Data processing, Congresses.,Medicine-- Decision making, Congresses.,Decision Making, Computer-Assisted.,Decision Support Systems, Clinical.,Medical Informatics.,Practice Guidelines,Decision making-- Data processing.,ICT.,MEDICAL-- Allied Health Services-- Medical Technology.,MEDICAL-- Biotechnology.,MEDICAL-- Family & General Practice.,MEDICAL-- Lasers in Medicine.,Medicine-- Data processing.,Medicine-- Decision making.,Medische techniek.,Organisatieontwikkeling.,Protocollen (zorgsector),Richtlijnen.,TECHNOLOGY & ENGINEERING-- Biomedical.
رده :
R859
.
7
.
D42
C64
2008eb
